Stephen Cole Kleene

Stephen Cole Kleene
Rodné jméno	Stephen Cole Kleene
Narození	5. ledna 1909 Hartford
Úmrtí	25. ledna 1994 (ve věku 85 let) Madison
Alma mater	Amherst College (do 1930) Princetonská univerzita (1930–1934)
Povolání	matematik, informatik, filozof a vysokoškolský učitel
Zaměstnavatelé	Princetonská univerzita (1934–1935) Wisconsinská univerzita v Madisonu (1935–1941) Amherst College (1941–1942) Námořnictvo Spojených států amerických (1942–1946) Wisconsinská univerzita v Madisonu (1946–1979)
Ocenění	Guggenheimovo stipendium (1949) Cena Leroye P. Steeleho (1983) Národní vyznamenání za vědu (1990)
Některá data mohou pocházet z datové položky.

Stephen Cole Kleene (5. ledna 1909, Hartford – 25. ledna 1994, Madison) byl americký matematik a logik, který svou prací pomohl položit základy matematické informatiky.

Spolu s Alonzo Churchem, Alanem Turingem, Emilem Postem či Kurtem Gödelem je považován za zakladatele specifické větve matematické logiky, a to tzv. teorie rekurzivních funkcí. Obzvláště významná je jeho práce v teorii vyčíslitelnosti. Je po něm pojmenovaných několik matematických konceptů, např. Kleeneho hierarchie, Kleeneho algebra, nebo Kleeneho hvězdička (také nazývána iterace nebo Kleeneho uzávěr) a s ní úzce související Kleeneho plus (kladná iterace). Také vynalezl regulární výrazy a spolu s Alonzo Churchem i lambda kalkul. Jeho jméno nesou i Kleeneho s-m-n věta a Kleeneho-Rosserův paradox. Byl také průkopníkem intuicionizmu.

Správná výslovnost jména Kleene je / kleɪni ː / (jako anglické "clay-knee"), ne / kli ː ni ː / nebo / kli ː n /. Jeho syn, Ken Kleene k tomu řekl: